Theory Of Computation: Bezout's Identity And Euclid's First Theorem